#ifndef RT_WRAPPER_H
#define RT_WRAPPER_H

void lock_memory();
void set_sched(int policy, int prio);


#endif